Automated Test Generation And Verified Software ? John Rushby Computer Science Laboratory SRI International 333 Ravenswood Avenue

Source URL: vstte.ethz.ch

The Kukui Cup: Shaping Everyday Energy Use via a Dorm Energy Competition Robert S. Brewer Collaborative Software Development Laboratory Department of Information and Computer Sciences

Source URL: www.jamesjpierce.com

Run and Be Safe: Mixed-Criticality Scheduling with Temporary Processor Speedup Pengcheng Huang, Pratyush Kumar, Georgia Giannopoulou, Lothar Thiele Computer Engineering and Networks Laboratory, ETH Zurich, 8092 Zurich, S

Source URL: www.tik.ethz.ch

• Computing
• Engineering
• Technology
• Analysis of parallel algorithms
• Parallel computing
• Speedup
• Real-time computing
• Mixed criticality
• Worst-case execution time
• Scalability

Multi- and Cross-Modal Semantics Beyond Vision: Grounding in Auditory Perception Douwe Kiela Computer Laboratory University of Cambridge

Source URL: www.cl.cam.ac.uk

Subverting the Xen hypervisor Rafal Wojtczuk August 7, 2008 Abstract— This paper outlines the recent work by the author

Source URL: www.blackhat.com

• Linux Foundation
• University of Cambridge Computer Laboratory
• Xen
• NetBSD
• X86 architecture
• Hypervisor
• Paravirtualization
• Protection ring
• Hardware virtualization
• Hyper-V
• Rootkit
• Microkernel

1 The Google Stack Source: Malte Schwarzkopf. “Operating system support for warehouse-scale computing”. PhD thesis. University of Cambridge Computer Laboratory (to appear), 2015, Chapter 2. data processing

Source URL: malteschwarzkopf.de

Institut für Technische Informatik und Kommunikationsnetze Computer Engineering and Networks Laboratory Prof. L. Thiele

Source URL: www.tik.ee.ethz.ch

• Engineering
• Systems engineering
• Embedded system
• Criticality
• Safety engineering
• Mixed criticality

Zippy: On-Demand Network Flooding Felix Sutton, Bernhard Buchli, Jan Beutel and Lothar Thiele Computer Engineering and Networks Laboratory ETH Zurich, Switzerland {fsutton, bbuchli, beutel, thiele}@tik.ee.ethz.ch

Source URL: www.tik.ee.ethz.ch

Visibility: A New Metric For Protocol Design Megan Wachs† , Jung Il Choi† , Jung Woo Lee† , Kannan Srinivasan† , Zhe Chen? , Mayank Jain† , and Philip Levis† † Computer Systems Laboratory, Stanford Universi

Source URL: sing.stanford.edu

• Computing
• Network performance
• Wireless networking
• Packet loss
• Transmission Control Protocol
• Throughput
• Hidden node problem
• Routing
• Pastry

Building Attack Scenarios through Integration of Complementary Alert Correlation Methods ∗ Peng Ning, Dingbang Xu, Christopher G. Healey, and Robert St. Amant Cyber Defense Laboratory Department of Computer Science Nor

Source URL: www.csc.ncsu.edu